退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:一阶定理证明和TpTp中的一类布尔排序
Kotelnikov, Evgenii; Kovács, Laura; Voronkov, Andrei;
机译:TPTP,CASC和语义指导定理证明者的发展
机译:通过简化为一阶单分类逻辑,简单证明二阶古典和直觉逻辑的完备性定理
机译:布尔BI的一个定理证明
机译:一阶定理证明和TPTP中的一等布尔布尔排序
机译:用一阶定理普通的推出计划分析
机译:自动合成流式细胞仪数据可视化的定理证明方法
机译:自动多种定理证明器
机译:自动化的多排序定理证明器
机译:透明行为证明,分类,分类和统计评估的过程
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。